Predicate logic (also known as first-order logic or precdiate caculus) allows logical formulae including variables (such as X, Y, Person, Parent) and predicates (such as is_child_of(Person, Parent). It does not allow higher-order formulae, that is predicte symbols cannot also be used as variables.
Used in Chap. 2: pages 15, 16; Chap. 5: page 69
Also known as predicate calculus